81. Future tendencies in computer science, control, and applied mathematics : International Conference
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Congresses,، Automatic control-- Congresses,، Mathematics-- Congresses
رده :
QA
76
.
5
.
I5484
1992
82. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
83. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
84. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
85. Grammars and Automata for string processing : From mathematics and computer science to biology and Bach
پدیدآورنده: Edited by Carlos Martin Vide, Victor Mitrana
کتابخانه: كتابخانه دانشگاه آزاد اسلامی واحد قم (قم)
موضوع: Computer science,Mathematics,Molecular biology
رده :
QA
.
G72
76
2003
86. Grammars and automata for string processing: from mathematics and computer science to biology, and back
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
رده :
QA
76
.
G64
2003
87. Grammars and automata for string processing : from mathematics and computer science to biology, and back
پدیدآورنده: edited by Carlos Martin-Vide and Victor Mitrana
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
رده :
QA
76
.
G69
88. Introduction to computer science mathematics
پدیدآورنده: / Robert V. Jamison
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Mathematics - 1961-
رده :
510
J32i
89. Introduction to computer science mathematics
پدیدآورنده : Jamison, Robert V
موضوع : ، Mathematics-1691-
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
90. Introduction to computer science mathematics
پدیدآورنده: / (by) Robert V. Jamison
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Mathematics
رده :
QA
39
.
2
.
J35
91. Introduction to computer science mathematics
پدیدآورنده: JAMISON,ROBERT V
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MATHEMATICS-1961-
رده :
QA
39
.
2
.
J35
92. Lectures on discrete mathematics for computer science
پدیدآورنده: Bakhadyr Khoussainov, Nodira Khoussainova
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Textbooks ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35K46
93. Logic, Mathematics, and Computer Science.
پدیدآورنده: \ Yves Nievergelt
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
94. Logic and discrete mathematics: A computer science perspective
پدیدآورنده : Winfied Karl Grassmann, Jean-Paul Tremblay
موضوع :
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
95. Logic and discrete mathematics : a computer science perspective
پدیدآورنده: Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics
رده :
QA
76
.
9
.
M35
G725
1996
96. Logic and discrete mathematics: a computer science perspective
پدیدآورنده: Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Computer science
رده :
QA
76
.
9
.
M35
G725
1996
97. Logic & discrete mathematics, a computer science perspective
پدیدآورنده: Grassmann, Winfried Karl
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Computer science - mathematics
رده :
QA
76
.
9
.
M35
G7
98. Logic for mathematics and computer science
پدیدآورنده: Stanley N. Burris
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
،
9
،.
B86
،
1998
99. Logicism renewed : logical foundations for mathematics and computer science
پدیدآورنده: Paul C. Gilmore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
23
100. Mathematical structures for computer science : discrete mathematics and its applications
پدیدآورنده: Judith L. Gersting
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematics,، Mathematical models,، Computer science -- Mathematics
رده :
QA
39
.
3
.
G47M3
2014
